C data types - PDFSEARCH.IO - Document Search Engine

C data types
Results: 2337

#	Item
101	Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer, Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming C Computing Data types Assertion Debugging Const Sizeof Symbolic execution
102	2012 ACM@UVa HSPC C++ Cheatsheet If Statement Primitive Data Types if ( Boolean Expression ){ Add to Reading List Source URL: acm.cs.virginia.edu Language: English - Date: 2014-03-20 22:58:43
103	VTrust: Regaining Trust on Virtual Calls Chao Zhang Scott A. Carr Tongxin Li Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Computing Method Data types C++ Virtual method table Control-flow integrity Dangling pointer Method overriding Pointer Control flow
104	Informatik und Angewandte Kognitionswissenschaft Lehrstuhl f¨ ur Hochleistungsrechnen Thomas Fogal Prof. Dr. Jens Kr¨ uger Add to Reading List Source URL: hpc.uni-due.de Language: English - Date: 2014-10-28 15:14:20 Software engineering Computing Computer programming Data types C++ C standard library Const Sort Pointer New and delete Sequence container C dynamic memory allocation
105	Detecting memory leaks in managed languages with Cork∗ Maria Jump1 and Kathryn S McKinley2 1 King’s College 2 The University of Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-09-16 09:56:58 Memory management C++ Heap Data types Garbage Memory leak C dynamic memory allocation D-ary heap Java New and delete Pointer Priority queue
106	BS-Entwicklung mit Literate Programming Foliensatz 7: Interrupts und Faults Hans-Georg Eßer TH Nürnberg Add to Reading List Source URL: ohm.hgesser.de Language: English - Date: 2014-11-18 08:03:39 Computing Software engineering C Computer programming Interrupts Data types Typedef Interrupt Sizeof C++ classes Struct Bit field
107	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Computing Search algorithms Data types Type theory Enumerated type Lambda calculus Scala Foreach loop Combinatory logic Comparison of C Sharp and Java
108	Carnegie Mellon Dynamic Memory Alloca/on: Basic Concepts 15-‐213: Introduc0on to Computer Systems 17th Lecture, Oct. 21, 2010 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-01-05 18:27:07 Software engineering Computing Computer programming Memory management C++ Data types C dynamic memory allocation C standard library Type theory Allocator Pointer Data segment
109	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-30 12:02:04 Software engineering Computing Computer programming C Data types Undefined behavior Integer overflow Printf format string Objective-C C99 Floating point Arithmetic overflow
110	… in memory: an evolution of attacks Mathias Payer <> UC Berkeley Images (c) MGM, WarGames, 1983 Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software bugs Data types Pointer Return-oriented programming Memory corruption D